<HTML><HEAD><TITLE>lp_add(+Handle, +NewNormCons, +NewIntegers)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(eplex)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>lp_add(+Handle, +NewNormCons, +NewIntegers)</H1>
Add new constraints to a solver state Handle.
<DL>
<DT><EM>Handle</EM></DT>
<DD>Handle to a solver state
</DD>
<DT><EM>NewNormCons</EM></DT>
<DD>List of new normalised constraints
</DD>
<DT><EM>NewIntegers</EM></DT>
<DD>List of variables to be considered as integers
</DD>
</DL>
<H2>Description</H2>
<P>
  Add new normalised constraints (with possibly new variables) to a solver.
  This is a lower level predicate called by lp_add_constraints/3 and when
  constraints are collected from the constraints pool by the solver. The
  constraints are not simplified and must already be normalised, so
  constraints which would otherwise be simplified away by the higher level
  predicates can be added to the external solver. The constraints will be
  removed on backtracking. Note that the solver will not be invoked directly.
</P><P>
  Note that variables in NewIntegers can be any problem variables. In
  previous versions of ECLiPSe, there was a restriction that the variables
  be new problem variables; this restriction has been removed.
</P>

<H3>Resatisfiable</H3>
no
<H2>See Also</H2>
<A HREF="../../lib/eplex/lp_setup-4.html">lp_setup / 4</A>
</BODY></HTML>
